module Module

type T = interface
    abstract P: int

()
